Erstellung vollständiger Systemspezifikationen im Embedded Computing

1 Zusammenfassung Im Bereich der Entwicklung eingebetteter Systeme sind formale und semiformale Ansätze zur Spezifikation seit langem gang und gäbe. Mit Blick auf die Produktion elektronischer Steuergeräte im Automobilbereich wird ein praktikables Verfahren vorgestellt, welches die Prozesse des Lieferanten (hier konkret der Automobilzulieferer) solcher Systeme möglichst gut unterstützt. Besonderen Wert wurde dabei auf die methodische Unterstützung der konkreten Tätigkeit des Spezifizierens gelegt. Ergänzende Hinweise betreffen die Realisierung eines entsprechenden Workflows mithilfe gängiger Tools.